symbolic logic identity